Order Sorted Algebras
نویسنده
چکیده
In this paper i is a set. Let I be a set, let f be a many sorted set indexed by I, and let p be a finite sequence of elements of I. One can check that f · p is finite sequence-like. Let S be a non empty many sorted signature. A sort symbol of S is an element of S. Let S be a non empty many sorted signature. (Def. 1) An element of the operation symbols of S is said to be an operation symbol of S. Let S be a non void non empty many sorted signature and let o be an operation symbol of S. Then the result sort of o is an element of S. Let X be a set. Then △X is an order in X. We introduce △ o X as a synonym of △X . Let X be a set. Then △X is an equivalence relation of X. We introduce △ r X as a synonym of △X .
منابع مشابه
A Method to Translate Order-Sorted Algebras to Many-Sorted Algebras
Order-sorted algebras and many sorted algebras exist in a long history with many different implementations and applications. A lot of language specifications have been defined in order-sorted algebra frameworks such as the language specifications in K (an order-sorted algebra framework). The biggest problem in a lot of the order-sorted algebra frameworks is that even if they might allow develop...
متن کاملHiding and Behaviour: an Institutional Approach
Theories with hidden sorts provide a setting to study the idea of behaviour and behavioural equivalence of elements. But there are variants on the notion of theory: many sorted algebras, order sorted algebras and so on; we would like to use the theory of institutions to develop ideas of some generality. We formulate the notion of behavioural equivalence in a more abstract and categorical way, a...
متن کاملApplication and Formal Specification of Sorted Term-Position Algebras
Sorted term-position algebras are an extension of term algebras. In addition to sorted terms with constructor and selector functions, they provide term positions as algebra elements and functions that relate term positions. This paper describes possible applications of termposition algebras and investigates their formal specification in existing specification frameworks. In particular, it prese...
متن کاملParametrization for Order-Sorted Algebraic Specification
We investigate parametrization for order-sorted algebraic specifications. As a prerequisite we study free constructions for order-sorted algebras and relate the various approaches to order-sorting. Then we analyse parameter passing, the result being that the notion of ordersorted specification has to be restricted in order to establish our main result, namely, that parameter passing satisfies t...
متن کاملMore on Products of Many Sorted Algebras
This article is continuation of an article defining products of many sorted algebras [11]. Some properties of notions such as commute, Frege, Args() are shown in this article. Notions of constant of operations in many sorted algebras and projection of products of family of many sorted algebras are defined. There is also introduced the notion of class of family of many sorted algebras. The main ...
متن کاملMany Sorted Algebras
The basic purpose of the paper is to prepare preliminaries of the theory of many sorted algebras. The concept of the signature of a many sorted algebra is introduced as well as the concept of many sorted algebra itself. Some auxiliary related notions are defined. The correspondence between (1 sorted) universal algebras [8] and many sorted algebras with one sort only is described by introducing ...
متن کامل